منابع مشابه
Pop-Refinement
Pop-refinement is an approach to stepwise refinement, carried out inside an interactive theorem prover by constructing a monotonically decreasing sequence of predicates over deeply embedded target programs. The sequence starts with a predicate that characterizes the possible implementations, and ends with a predicate that characterizes a unique program in explicit syntactic form. Compared to ex...
متن کاملDetecting the Transition From Pop III to Pop II Stars
We discuss the cosmological significance of the transition from the Pop III to Pop II mode of star formation in the early universe, and when and how it may occur in primordial galaxies. Observations that could detect this transition include those of element abundances in metal-poor Galactic halo stars, and of the helium reionization and associated heating of the intergalactic medium. We suggest...
متن کاملDo People “Pop Out”?
The human body is a highly familiar and socially very important object. Does this mean that the human body has a special status with respect to visual attention? In the current paper we tested whether people in natural scenes attract attention and "pop out" or, alternatively, are at least searched for more efficiently than targets of another category (machines). Observers in our study searched ...
متن کاملRace: Deflate or pop?
Neven Sesardic has recently defended his arguments in favour of racial naturalism-the view that race is a valid biological category-in response to my criticism of his work. While Sesardic claims that a strong version of racial naturalism can survive critique, he has in fact weakened his position considerably. He concedes that conventional racial taxonomy is arbitrary and he no longer identifies...
متن کاملPop-up book MEMS
We present a design methodology and manufacturing process for the construction of articulated three-dimensional microstructures with features on the micron to centimeter scale. Flexure mechanisms and assembly folds result from the bulk machining and lamination of alternating rigid and compliant layers, similar to rigid-flex printed circuit board construction. Pop-up books and other forms of pap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: M/C Journal
سال: 1999
ISSN: 1441-2616
DOI: 10.5204/mcj.1757